Examining how new forms of currencies diffuse is important to uncover their impact on the organization of communities, and thus motivates our study of community currencies. Community currencies provide a medium of exchange by using alternative banknotes or electronic money, which circulates only within particular communities, allowing members to trade goods, increase social cohesion, and achieve collective goals. In this study, we examine how community currencies help facilitate social commons by serving as a setting for building community relationships and a (...) catalyst for other social activities beyond market relations. We analyze cases of community banks that provide microfinance and issue community currencies in Brazil. We find that microfinance entrepreneurs who involve a greater diversity of stakeholders from public, private, and nonprofit sectors in decision making even prior to startup, while also facilitating the formation of supportive social capital from diverse cross-sector stakeholders, increase opportunities for developing new community currencies. By exploring the implications of entrepreneurial actions that promote inclusive participation of diverse stakeholders for accomplishing collective goals, our findings are relevant for other activities that create a common pool of resources while also developing the vitality of the community, including initiatives that use cryptocurrencies and other emerging forms of currencies for building social commons. (shrink)

Benchmarking automated theorem proving (ATP) systems using standardized problem sets is a well-established method for measuring their performance. However, the availability of such libraries for non-classical logics is very limited. In this work we propose a library for benchmarking Girard's (propositional) intuitionistic linear logic. For a quick bootstrapping of the collection of problems, and for discussing the selection of relevant problems and understanding their meaning as linear logic theorems, we use translations of the collection of Kleene's intuitionistic theorems in the (...) traditional monograph "Introduction to Metamathematics". We analyze four different translations of intuitionistic logic into linear logic and compare their proofs using a linear logic based prover with focusing. In order to enhance the set of problems in our library, we apply the three provability-preserving translations to the propositional benchmarks in the ILTP Library. Finally, we generate a comprehensive set of reachability problems for Petri nets and encode such problems as linear logic sequents, thus enlarging our collection of problems. (shrink)

For the epic journey of autumn migration, long-distance migratory birds use innate and learned information and follow strict schedules imposed by genetic and epigenetic mechanisms, the details of which remain largely unknown. In addition, bird migration requires integrated action of different multisensory systems for learning and memory, and the hippocampus appears to be the integration center for this task. In previous studies we found that contrasting long-distance migratory flights differentially affected the morphological complexity of two types of hippocampus astrocytes. Recently, (...) a significant association was found between the latitude of the reproductive site and the size of the ADCYAP1 allele in long distance migratory birds. We tested for correlations between astrocyte morphological complexity, migratory distances, and size of the ADCYAP1 allele in three long-distance migrant species of shorebird and one non-migrant. Significant differences among species were found in the number and morphological complexity of the astrocytes, as well as in the size of the microsatellites of the ADCYAP1 gene. We found significant associations between the size of the ADCYAP1 microsatellites, the migratory distances, and the degree of morphological complexity of the astrocytes. We suggest that associations between astrocyte number and morphological complexity, ADCYAP1 microsatellite size, and migratory behavior may be part of the adaptive response to the migratory process of shorebirds. (shrink)

Alienation and Connection addresses social constructs that perpetuate alienation through suffering. The contributors discuss how alienation through suffering in a variety of contexts can be transformed into connection and reconnection: human relationship with the environment, economic and social systems that disconnect and reconnect, cultural constructs that divide or can heal, encountered difference that brings opportunity, and various manifestations of personal pain that can be survived and even overcome.

Although high-performance human resource practices do not directly affect corporate social performance strengths, they do positively affect CSP strengths in companies that are highly innovative or have high levels of slack. High-performance human resource management practices also directly and negatively affect CSP concerns. Drawing on the resource-based view and using secondary data from an objective, third-party database, the authors develop and test hypotheses about how high-performance HRM affects a company’s CSP strengths and concerns. Findings suggest that HRM and innovation are (...) important capabilities because they create and enhance other capabilities. (shrink)

Part philosophical meditation, part cultural critique, The Body in Pain is a profoundly original study that has already stirred excitement in a wide range of intellectual circles. The book is an analysis of physical suffering and its relation to the numerous vocabularies and cultural forces--literary, political, philosophical, medical, religious--that confront it.Elaine Scarry bases her study on a wide range of sources: literature and art, medical case histories, documents on torture compiled by Amnesty International, legal transcripts of personal injury trials, (...) and military and strategic writings by such figures as Clausewitz, Churchill, Liddell Hart, and Kissinger, She weaves these into her discussion with an eloquence, humanity, and insight that recall the writings of Hannah Arendt and Jean-Paul Sartre.Scarry begins with the fact of pain's inexpressibility. Not only is physical pain enormously difficult to describe in words--confronted with it, Virginia Woolf once noted, "language runs dry"--it also actively destroys language, reducing sufferers in the most extreme instances to an inarticulate state of cries and moans. Scarry analyzes the political ramifications of deliberately inflicted pain, specifically in the cases of torture and warfare, and shows how to be fictive. From these actions of "unmaking" Scarry turns finally to the actions of "making"--the examples of artistic and cultural creation that work against pain and the debased uses that are made of it. Challenging and inventive, The Body in Pain is landmark work that promises to spark widespread debate. (shrink)

Part philosophical meditation, part cultural critique, The Body in Pain is a profoundly original study that has already stirred excitement in a wide range of intellectual circles. The book is an analysis of physical suffering and its relation to the numerous vacabularies and cultural forces--literary, political, philosophical, medical, religious--that confront it. Elaine Scarry bases her study on a wide range of sources: literature and art, medical case histories, documents on torture compiled by Amnesty International, legal transcripts of personal injury (...) trials, and military and strategic writings by such figures as Clausewitz, Churchill, Liddell Hart, and Kissinger, She weaves these into her discussion with an eloquence, humanity, and insight that recall the writings of Hannah Arendt and Jean-Paul Sartre. Scarry begins with the fact of pain's inexpressibility. Not only is physical pain enormously difficult to describe in words--confronted with it, Virginia Woolf once noted, "language runs dry"--it also actively destroys language, reducing sufferers in the most extreme instances to an inatriculate state of cries and moans. Scarry analyzes the political ramifications of deliberately inflicted pain, specifically in the cases of torture and warfare, and shows how to be fictive. From these actions of "unmaking" Scarry turns finally to the actions of "making"--the examples of artistic and cultural creation that work against pain and the debased uses that are made of it. Challenging and inventive, The Body in Pain is landmark work that promises to spark widespread debate. About the Author: Elaine Scarry is Associate Professor of English at the University of Pennsylvania. (shrink)

This book is an intercultural exploration of the full scope of evil. The problems of evil have beset humanity throughout the ages and continue to trouble us. The studies here examine evil in Asian thought, in Western theory, in the cosmic order, in human psychology, and in social practice. Insights are added to the philosophical discussions from religion, culture, history, law, technology, and literature.

The aim of this paper is to put into context the historical, foundational and philosophical significance of category theory. We use our historical investigation to inform the various category-theoretic foundational debates and to point to some common elements found among those who advocate adopting a foundational stance. We then use these elements to argue for the philosophical position that category theory provides a framework for an algebraic in re interpretation of mathematical structuralism. In each context, what we aim to show (...) is that, whatever the significance of category theory, it need not rely upon any set-theoretic underpinning. (shrink)

El objetivo de este trabajo es dar cuenta de lo que en la discusión filosófica latinoamericana se ha entendido en las últimas décadas por “filosofía indígena”. Para este fin, se realiza un metaanálisis a partir de una revisión sistemática de los artículos académicos que mencionan categorías conceptuales vinculadas a aspectos noéticos de lo indígena, considerando una base de datos compuesta por las revistas latinoamericanas indexadas al catálogo SCOPUS en el área de filosofía. Teniendo en cuenta el material contenido en 42 (...) revistas académicas entre 1984 y 2023, se observó que un total de 142 artículos mencionan al menos una vez conceptos como conocimiento/saber indígena, cosmovisión indígena, pensamiento indígena, filosofía/sabiduría indígena, y valores indígenas, u otras denominaciones similares. A partir de esta sistematización, el trabajo presenta una propuesta de ordenamiento de las categorías asociadas a lo indígena señalando los principales desafíos conceptuales que reviste la propuesta de una filosofía indígena latinoamericana. (shrink)

The aim of this paper is to put into context the historical, foundational and philosophical significance of category theory. We use our historical investigation to inform the various category-theoretic foundational debates and to point to some common elements found among those who advocate adopting a foundational stance. We then use these elements to argue for the philosophical position that category theory provides a framework for an algebraic _in re_ interpretation of mathematical structuralism. In each context, what we aim to show (...) is that, whatever the significance of category theory, it need not rely upon any set-theoretic underpinning. (shrink)

This paper presents a detailed analysis of a previous work that described the dynamic behavior of an antique stamp mill. The stamp mill application was for breaking ore stones as part of silver production. The dynamic analysis was established from a modern description of the kinematic chain. Since there is no technical data or archeological reports, the model was reconstructed using the dimensions described in original documents and assuming the operation conditions from different technical references. The model was validated using (...) the typical production rates from the pre-industrial revolution period (XVI to XVIII centuries). The results show a proper method for reconstructing the engineering data of antique mechanisms and provide the basis for reproducing these types of mechanisms with modern engineering concepts. The data can be extrapolated to other similar mills that were developed based on this functional principle. (shrink)

"--J.M.Coetzee "Here is a writer almost magically summoning up the world through words and ideas, in a new way, and so guiding the reader, lovingly, to receive the treasures and accept the pleasures of this book as naturally as breathing.

This pioneering book explores in depth the role of neurotransmitters in conscious awareness. The central aim is to identify common neural denominators of conscious awareness, informed by the neurochemistry of natural, drug induced and pathological states of consciousness. Chemicals such as acetylcholine and dopamine, which bridge the synaptic gap between neurones, are the 'neurotransmitters in mind' that form the substance of the volume, which is essential reading for all who believe that unravelling mechanisms of consciousness must include these vital systems (...) of the brain.Up-to-date information is provided on: Psychological domains of attention, motivation, memory, sleep and dreaming that define normal states of consciousness. Effects of chemicals that alter or abolish consciousness, including hallucinogens and anaesthetics. Disorders of the brain such as dementia, schizophrenia and depression considered from the novel perspective of the way these affect consciousness, and how this might relate to disturbances in neurotransmission.(Series B). (shrink)

El autor toma las ideas fundamentales que los liberales han legado al mundo contemporáneo: la libertad y la propiedad fueron sus valores predilectos y su vigencia permanece hasta la actualidad. Empeñados en construir un Estado proclive a la libertad y la propiedad, los liberales idearon la soberanía, la separación de poderes y la posibilidad de que alguna vez hubiera Estados regidos por Constituciones. Hoy esas ideas constituyen los pilares de nuestra organización política.

A violência sexual contra meninas constitui-se em um problema de dimensões alarmantes para a sociedade. Assim, este estudo objetivou compreender as concepções e crenças sobre o abuso sexual, as relações e reações familiares de adolescentes em situação de vulnerabilidade social. Participaram 30 adole..

This is the first volume on category theory for a broad philosophical readership. It is designed to show the interest and significance of category theory for a range of philosophical interests: mathematics, proof theory, computation, cognition, scientific modelling, physics, ontology, the structure of the world.

Just Business provides the first comprehensive, reasoned framework for resolving questions of business ethics and corporate governance. Innovative, accessible, and global in scope, its powerful Ethical Decision Model can be used to manage the ethical problems of business as they arise in all their complexity and variety. Just Business combines business realism with philosophical rigor, and demonstrates that it is not necessary to emasculate or to adulterate business for business to be ethical. The book benefits from Elaine Sternberg's extensive (...) experience as an academic philosopher, an international investment banker, and head of successful businesses. She is now Principal of a London-headquartered consultancy firm, and Research Fellow in Philosophy at the University of Leeds. (shrink)

Since approval of the EU General Data Protection Regulation (GDPR) in 2016, it has been widely and repeatedly claimed that the GDPR will legally mandate a ‘right to explanation’ of all decisions made by automated or artificially intelligent algorithmic systems. This right to explanation is viewed as an ideal mechanism to enhance the accountability and transparency of automated decision-making. However, there are several reasons to doubt both the legal existence and the feasibility of such a right. In contrast to the (...) right to explanation of specific automated decisions claimed elsewhere, the GDPR only mandates that data subjects receive meaningful, but properly limited, information (Articles 13-15) about the logic involved, as well as the significance and the envisaged consequences of automated decision-making systems, what we term a ‘right to be informed’. Further, the ambiguity and limited scope of the ‘right not to be subject to automated decision-making’ contained in Article 22 (from which the alleged ‘right to explanation’ stems) raises questions over the protection actually afforded to data subjects. These problems show that the GDPR lacks precise language as well as explicit and well-defined rights and safeguards against automated decision-making, and therefore runs the risk of being toothless. We propose a number of legislative and policy steps that, if taken, may improve the transparency and accountability of automated decision-making when the GDPR comes into force in 2018. (shrink)

To create fair and accountable AI and robotics, we need precise regulation and better methods to certify, explain, and audit inscrutable systems.

Este trabalho coloca em foco o Tribunal do Júri sob um prisma analítico, seu surgimento e atual utilização, apresentando as ideias propostas por Foucault ao longo de sua obra a respeito das instituições jurídicas historicamente estabelecidas pelos governos para relacionar em especial aquela instituição com os conceitos da biopolítica apresentados pelo autor e colocar em pauta a inadequação de seu modelo ao momento histórico atual das sociedades ocidentais.

"--Robert Fagles, translator of Homer's "Iliad" "I finished "Dreaming by the Book" feeling that fundamental aspects of the nature of consciousness had been peeled open and exposed to view."--Stephen M. Kosslyn, author of "Image and Brain".

O presente texto observa a teoria crítica da sociedade desenvolvida por Habermas a partir da análise das duas teses apresentadas na Teoria da Ação Comunicativa, sobre a modernidade seletiva e sobre o desacoplamento das esferas socais tematizáveis, pretendendo compreender como o avanço dos imperativos funcionais do sistema (a burocracia administrativa estatal e a economia capitalista) têm extrapolado suas áreas de atuação e aumentado ainda mais sua dinâmica sistêmica sobre o ambito da reprodução simbólica nas sociedades capitalistas do século XXI. A (...) discussão que se segue analisará esta ampliação considerando que as interferências e alterações sobre os padrões de integração social são questões que se encontram em um desenvolvimento constante desde as mudanças pelas quais passaram a alterar os critérios de legitimação da modernidade capitalista. Ainda que de um modo não inteiramente distinto daquele tematizado por Habermas no contexto social do início dos anos 1980, pretende-se observar que que no atual estágio do capitalismo internacional esta interferência, assim como as alterações daí promovidas, tem provocado uma maior fragmentação social e gerado bloqueios que perturbam ainda mais a integração social (que ameaçam inviabilizar qualquer efetivação da emancipação social quanto mais são deturpados os critérios de legitimação e reconhecimento social). Circunscrito a este horizonte, pretende-se sustentar que tais fatores possam ser melhor compreendidos mediante uma investigação sobre as patologias sociais, especifiamente quando estas são compreendidas como parâmetros que proporcionariam identificar certa resistência a uma integração social orientada por imperativos sistêmicos. (shrink)

This paper considers the nature and role of axioms from the point of view of the current debates about the status of category theory and, in particular, in relation to the "algebraic" approach to mathematical structuralism. My aim is to show that category theory has as much to say about an algebraic consideration of meta-mathematical analyses of logical structure as it does about mathematical analyses of mathematical structure, without either requiring an assertory mathematical or meta-mathematical background theory as a "foundation", (...) or turning meta-mathematical analyses of logical concepts into "philosophical" ones. Thus, we can use category theory to frame an interpretation of mathematics according to which we can be structuralists all the way down. (shrink)

Retail banking is facing many challenges, not least the loss of its customers’ trust and loyalty. The economic crisis is forcing banks to examine their relationships with stakeholders and to offer greater reassurance that their brand promises will be delivered. More than ever, banks need to stand for something positive and valued by stakeholders. One way to achieve this is through paying more attention to brand values. Our article explores how values are adopted by employees within a bank. When employees (...) ‘live’ their brand’s values, their behaviour during customer interactions reflects this, encouraging the strengthening of customer relationships. Specifically, we test the relationship between leadership style, employee commitment, and the adoption of values. Data was collected from a survey of 438 branch employees in a leading Irish retail bank. The study found that a structured and directive leadership style was effective at encouraging the adoption of the bank’s values. Moreover, when employees are committed to the organisation, this has a significant impact on their adoption of values. Thus, this study supports the literature which suggests that leadership and commitment are prerequisites for values adoption. (shrink)

Retail banking is facing many challenges, not least the loss of its customers’ trust and loyalty. The economic crisis is forcing banks to examine their relationships with stakeholders and to offer greater reassurance that their brand promises will be delivered. More than ever, banks need to stand for something positive and valued by stakeholders. One way to achieve this is through paying more attention to brand values. Our article explores how values are adopted by employees within a bank. When employees (...) ‘live’ their brand’s values, their behaviour during customer interactions reflects this, encouraging the strengthening of customer relationships. Specifically, we test the relationship between leadership style, employee commitment, and the adoption of values. Data was collected from a survey of 438 branch employees in a leading Irish retail bank. The study found that a structured and directive leadership style was effective at encouraging the adoption of the bank’s values. Moreover, when employees are committed to the organisation, this has a significant impact on their adoption of values. Thus, this study supports the literature which suggests that leadership and commitment are prerequisites for values adoption. (shrink)

Recent semantic approaches to scientific structuralism, aiming to make precise the concept of shared structure between models, formally frame a model as a type of set-structure. This framework is then used to provide a semantic account of (a) the structure of a scientific theory, (b) the applicability of a mathematical theory to a physical theory, and (c) the structural realist’s appeal to the structural continuity between successive physical theories. In this paper, I challenge the idea that, to be so used, (...) the concept of a model and so the concept of shared structure between models must be formally framed within a single unified framework, set-theoretic or other. I first investigate the Bourbaki-inspired assumption that structures are types of set-structured systems and next consider the extent to which this problematic assumption underpins both Suppes’ and recent semantic views of the structure of a scientific theory. I then use this investigation to show that, when it comes to using the concept of shared structure, there is no need to agree with French that “without a formal framework for explicating this concept of ‘structure-similarity’ it remains vague, just as Giere’s concept of similarity between models does ...” (French, 2000, Synthese, 125, pp. 103–120, p. 114). Neither concept is vague; either can be made precise by appealing to the concept of a morphism, but it is the context (and not any set-theoretic type) that determines the appropriate kind of morphism. I make use of French’s (1999, From physics to philosophy (pp. 187–207). Cambridge: Cambridge University Press) own example from the development of quantum theory to show that, for both Weyl and Wigner’s programmes, it was the context of considering the ‘relevant symmetries’ that determined that the appropriate kind of morphism was the one that preserved the shared Lie-group structure of both the theoretical and phenomenological models. (shrink)

Experts in Artificial Intelligence (AI) development predict that advances in the development of intelligent systems and agents will reshape vital areas in our society. Nevertheless, if such an advance is not made prudently and critically-reflexively, it can result in negative outcomes for humanity. For this reason, several researchers in the area have developed a robust, beneficial, and safe concept of AI for the preservation of humanity and the environment. Currently, several of the open problems in the field of AI research (...) arise from the difficulty of avoiding unwanted behaviors of intelligent agents and systems, and at the same time specifying what we really want such systems to do, especially when we look for the possibility of intelligent agents acting in several domains over the long term. It is of utmost importance that artificial intelligent agents have their values aligned with human values, given the fact that we cannot expect an AI to develop human moral values simply because of its intelligence, as discussed in the Orthogonality Thesis. Perhaps this difficulty comes from the way we are addressing the problem of expressing objectives, values, and ends, using representational cognitive methods. A solution to this problem would be the dynamic approach proposed by Dreyfus, whose phenomenological philosophy shows that the human experience of being-in-the-world in several aspects is not well represented by the symbolic or connectionist cognitive method, especially in regards to the question of learning values. A possible approach to this problem would be to use theoretical models such as SED (situated embodied dynamics) to address the values learning problem in AI. (shrink)

: Feminist standpoint theory remains highly controversial: it is widely advocated, used to guide research and justify its results, and yet is also vigorously denounced. This essay argues that three such sites of controversy reveal the value of engaging with standpoint theory as a way of reflecting on and debating some of the most anxiety-producing issues in contemporary Western intellectual and political life. Engaging with standpoint theory enables a socially relevant philosophy of science.

Until very recently, feminist criticism has not had a theoretical basis; it has been an empirical orphan in the theoretical storm. In 1975, I was persuaded that no theoretical manifesto could adequately account for the varied methodologies and ideologies which called themselves feminist reading or writing.1 By the next year, Annette Kolodny had added her observation that feminist literary criticism appeared "more like a set of interchangeable strategies than any coherent school or shared goal orientation."2 Since then, the expressed goals (...) have not been notably unified. Black critics protest the "massive silence" of feminist criticism about black and Third-World women writers and call for a black feminist aesthetic that would deal with both racial and sexual politics. Marxist feminists wish to focus on class along with gender as a crucial determinant of literary production. Literary historians want to uncover a lost tradition. Critics trained in deconstructionist methodologies with to "synthesize a literary criticism that is both textual and feminist." Freudian and Lacanian critics want to theorize about women's relationship to language and signification.· 1. See my "Literary Criticism," Signs 1 : 435-60.· 2. Annette Kolodny, "Literary Criticism," Signs 2 : 420.Elaine Showalter is professor of English at Rutgers University. The author of A Literature of Their Own: British Women Novelists from Bronte to Lessing, she is currently completing The English Malady, a study of madness, literature, and society in England. (shrink)

Sacred Games, Death, and Renewal in the Ancient Eastern Woodlands Content Type Journal Article Category Review Pages 507-509 DOI 10.1558/jcr.v11i4.507 Authors Sandra Wallace, Artefact Heritage, Po Box 772 Rose Bay, NSW 2029 Journal Journal of Critical Realism Online ISSN 1572-5138 Print ISSN 1476-7430 Journal Volume Volume 11 Journal Issue Volume 11, Number 4 / 2012.

Feminist standpoint theory remains highly controversial: it is widely advocated, used to guide research and justify its results, and yet is also vigorously denounced. This essay argues that three such sites of controversy reveal the value of engaging with standpoint theory as a way of reflecting on and debating some of the most anxiety-producing issues in contemporary Western intellectual and political life. Engaging with standpoint theory enables a socially relevant philosophy of science.

Structural realism has rapidly gained in popularity in recent years, but it has splintered into many distinct denominations, often underpinned by diverse motivations. There is, no monolithic position known as ‘structural realism,’ but there is a general convergence on the idea that a central role is to be played by relational aspects over object-based aspects of ontology. What becomes of causality in a world without fundamental objects? In this book, the foremost authorities on structural realism attempt to answer this and (...) related questions: ‘what is structure?’ and ‘what is an object?’ Also featured are the most recent advances in structural realism, including the intersection of mathematical structuralism and structural realism, and the latest treatments of laws and modality in the context of structural realism. The book will be of interest to philosophers of science, philosophers of physics, metaphysicians, and those interested in foundational aspects of science. (shrink)

Much has been said about intuitionistic and classical logical systems since Gentzen’s seminal work. Recently, Prawitz and others have been discussing how to put together Gentzen’s systems for classical and intuitionistic logic in a single unified system. We call Prawitz’ proposal the Ecumenical System, following the terminology introduced by Pereira and Rodriguez. In this work we present an Ecumenical sequent calculus, as opposed to the original natural deduction version, and state some proof theoretical properties of the system. We reason that (...) sequent calculi are more amenable to extensive investigation using the tools of proof theory, such as cut-elimination and rule invertibility, hence allowing a full analysis of the notion of Ecumenical entailment. We then present some extensions of the Ecumenical sequent system and show that interesting systems arise when restricting such calculi to specific fragments. This approach of a unified system enabling both classical and intuitionistic features sheds some light not only on the logics themselves, but also on their semantical interpretations as well as on the proof theoretical properties that can arise from combining logical systems. (shrink)